(0 7 2)(1 18 15)(3 16 5)(4 20 17)(6 10 8)(9 14 11)(12 19 13)
ALLOWS (11/8)-SEQUENCE
1: (4 17 20)

(0 7 2)(1 18 15)(3 16 5)(4 17 20)(6 10 8)(9 14 11)(12 19 13)
2: (1 18 15)

(0 7 2)(1)(3 16 5)(4 17 20)(6 10 8)(9 14 11)(12 19 13)(15)(18)
3: (4 17 20)

(0 7 2)(1)(3 16 5)(4)(6 10 8)(9 14 11)(12 19 13)(15)(17)(18)(20)
4: (3 16 5)

(0 7 2)(1)(3)(4)(5)(6 10 8)(9 14 11)(12 19 13)(15)(16)(17)(18)(20)